Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
421	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
422	Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-03 08:07:06 Formal languages Computer science Deterministic pushdown automaton Ω-automaton Pushdown automaton Omega language Nondeterministic finite automaton Context-free language Regular language Automata theory Theoretical computer science Models of computation
423	The Yapps Parser Generator System http://theory.stanford.edu/˜amitp/Yapps/ Version 2 Amit J. Patel http://www-cs-students.stanford.edu/ amitp/ Introduction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-08-09 18:50:20 Programming language implementation Formal languages Compiler construction Control flow Recursive descent parser LL parser Left recursion Attribute grammar Lookahead Software engineering Parsing Computing
424	Context-Free Languages and Pushdown Automata Jean-Michel Autebert1 , Jean Berstel2 , and Luc Boasson3 1 2 3 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-04-11 04:05:34 Context-free language Linear grammar Context-free grammar Formal grammar Vector space Nested word Pushdown automaton Formal languages Algebra Mathematics
425	Formal Verication of Object Layout for C++ Multiple Inheritance Tahina Ramananandro1 1 INRIA Gabriel Dos Reis2 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-01-27 00:28:09 C programming language Procedural programming languages C++ Struct C++ classes ALGOL 68 C D Software engineering Programming language theory Computing
426	Building Abstract Syntax Trees with Coco/R Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2011-09-08 04:17:51 Formal languages Parsing Procedural programming languages Attribute grammar Compiler construction ECL programming language Expr JavaScript Find Computing Software engineering Software
427	Algorithms Lecture 5: Context-Free Languages and Grammars [Fa’14] Caveat lector: This is the first edition of this lecture note. Please send bug reports and suggestions to . Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:10 Mathematics Context-free grammar Formal grammar Terminal and nonterminal symbols Ambiguous grammar Regular language Context-sensitive grammar Controlled grammar Formal languages Combinatorics Grammar
428	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
429	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
430	YOUR NAME: REGISTRATION # (O) CCGpoints] One way for computers to understand language is by forming a structure that represents the relationships Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 22:45:46 Categorial grammar Syntax Parsing Generative linguistics Combinatory categorial grammar Linguistics Grammar Formal languages

UPDATE